; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = trunc i64 %"SymVar_0" to i8
  %".5" = zext i8 %".4" to i32
  %".6" = zext i32 %".5" to i64
  %".7" = trunc i64 %".6" to i8
  %".8" = zext i8 %".7" to i32
  %".9" = zext i32 %".8" to i64
  %".10" = trunc i64 %".9" to i8
  %".11" = zext i8 %".10" to i32
  %".12" = zext i32 %".11" to i64
  %".13" = trunc i64 %".12" to i32
  %".14" = zext i32 %".13" to i64
  %".15" = trunc i64 %".14" to i32
  %".16" = add i32 0, %".15"
  %".17" = zext i32 %".16" to i64
  %".18" = trunc i64 %".17" to i32
  %".19" = zext i32 %".18" to i64
  %".20" = trunc i64 %".19" to i32
  %".21" = zext i32 %".20" to i64
  %".22" = trunc i64 %".21" to i32
  %".23" = zext i32 %".22" to i64
  %".24" = trunc i64 %".23" to i32
  %".25" = trunc i64 %".19" to i32
  %".26" = zext i32 %".25" to i64
  %".27" = trunc i64 %".26" to i32
  %".28" = zext i32 %".27" to i64
  %".29" = trunc i64 %".28" to i32
  %".30" = zext i8 10 to i32
  %".31" = and i32 %".30", 31
  %".32" = shl i32 %".29", %".31"
  %".33" = zext i32 %".32" to i64
  %".34" = trunc i64 %".33" to i32
  %".35" = zext i32 %".34" to i64
  %".36" = trunc i64 %".35" to i32
  %".37" = add i32 %".24", %".36"
  %".38" = zext i32 %".37" to i64
  %".39" = trunc i64 %".38" to i32
  %".40" = zext i32 %".39" to i64
  %".41" = trunc i64 %".40" to i32
  %".42" = zext i32 %".41" to i64
  %".43" = trunc i64 %".42" to i32
  %".44" = zext i32 %".43" to i64
  %".45" = trunc i64 %".44" to i32
  %".46" = trunc i64 %".40" to i32
  %".47" = zext i32 %".46" to i64
  %".48" = trunc i64 %".47" to i32
  %".49" = zext i32 %".48" to i64
  %".50" = trunc i64 %".49" to i32
  %".51" = zext i8 6 to i32
  %".52" = and i32 %".51", 31
  %".53" = lshr i32 %".50", %".52"
  %".54" = zext i32 %".53" to i64
  %".55" = trunc i64 %".54" to i32
  %".56" = zext i32 %".55" to i64
  %".57" = trunc i64 %".56" to i32
  %".58" = xor i32 %".45", %".57"
  %".59" = zext i32 %".58" to i64
  %".60" = trunc i64 %".59" to i32
  %".61" = zext i32 %".60" to i64
  %".62" = trunc i64 %".61" to i32
  %".63" = zext i32 %".62" to i64
  %".64" = trunc i64 %".63" to i32
  %".65" = zext i32 %".64" to i64
  %".66" = trunc i64 %".65" to i32
  %".67" = lshr i64 %"SymVar_0", 8
  %".68" = trunc i64 %".67" to i8
  %".69" = zext i8 %".68" to i32
  %".70" = zext i32 %".69" to i64
  %".71" = trunc i64 %".70" to i8
  %".72" = zext i8 %".71" to i32
  %".73" = zext i32 %".72" to i64
  %".74" = trunc i64 %".73" to i8
  %".75" = zext i8 %".74" to i32
  %".76" = zext i32 %".75" to i64
  %".77" = trunc i64 %".76" to i32
  %".78" = zext i32 %".77" to i64
  %".79" = trunc i64 %".78" to i32
  %".80" = add i32 %".66", %".79"
  %".81" = zext i32 %".80" to i64
  %".82" = trunc i64 %".81" to i32
  %".83" = zext i32 %".82" to i64
  %".84" = trunc i64 %".83" to i32
  %".85" = zext i32 %".84" to i64
  %".86" = trunc i64 %".85" to i32
  %".87" = zext i32 %".86" to i64
  %".88" = trunc i64 %".87" to i32
  %".89" = trunc i64 %".83" to i32
  %".90" = zext i32 %".89" to i64
  %".91" = trunc i64 %".90" to i32
  %".92" = zext i32 %".91" to i64
  %".93" = trunc i64 %".92" to i32
  %".94" = zext i8 10 to i32
  %".95" = and i32 %".94", 31
  %".96" = shl i32 %".93", %".95"
  %".97" = zext i32 %".96" to i64
  %".98" = trunc i64 %".97" to i32
  %".99" = zext i32 %".98" to i64
  %".100" = trunc i64 %".99" to i32
  %".101" = add i32 %".88", %".100"
  %".102" = zext i32 %".101" to i64
  %".103" = trunc i64 %".102" to i32
  %".104" = zext i32 %".103" to i64
  %".105" = trunc i64 %".104" to i32
  %".106" = zext i32 %".105" to i64
  %".107" = trunc i64 %".106" to i32
  %".108" = zext i32 %".107" to i64
  %".109" = trunc i64 %".108" to i32
  %".110" = trunc i64 %".104" to i32
  %".111" = zext i32 %".110" to i64
  %".112" = trunc i64 %".111" to i32
  %".113" = zext i32 %".112" to i64
  %".114" = trunc i64 %".113" to i32
  %".115" = zext i8 6 to i32
  %".116" = and i32 %".115", 31
  %".117" = lshr i32 %".114", %".116"
  %".118" = zext i32 %".117" to i64
  %".119" = trunc i64 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i32
  %".122" = xor i32 %".109", %".121"
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i32
  %".125" = zext i32 %".124" to i64
  %".126" = trunc i64 %".125" to i32
  %".127" = zext i32 %".126" to i64
  %".128" = trunc i64 %".127" to i32
  %".129" = zext i32 %".128" to i64
  %".130" = trunc i64 %".129" to i32
  %".131" = lshr i64 %"SymVar_0", 16
  %".132" = trunc i64 %".131" to i8
  %".133" = zext i8 %".132" to i32
  %".134" = zext i32 %".133" to i64
  %".135" = trunc i64 %".134" to i8
  %".136" = zext i8 %".135" to i32
  %".137" = zext i32 %".136" to i64
  %".138" = trunc i64 %".137" to i8
  %".139" = zext i8 %".138" to i32
  %".140" = zext i32 %".139" to i64
  %".141" = trunc i64 %".140" to i32
  %".142" = zext i32 %".141" to i64
  %".143" = trunc i64 %".142" to i32
  %".144" = add i32 %".130", %".143"
  %".145" = zext i32 %".144" to i64
  %".146" = trunc i64 %".145" to i32
  %".147" = zext i32 %".146" to i64
  %".148" = trunc i64 %".147" to i32
  %".149" = zext i32 %".148" to i64
  %".150" = trunc i64 %".149" to i32
  %".151" = zext i32 %".150" to i64
  %".152" = trunc i64 %".151" to i32
  %".153" = trunc i64 %".147" to i32
  %".154" = zext i32 %".153" to i64
  %".155" = trunc i64 %".154" to i32
  %".156" = zext i32 %".155" to i64
  %".157" = trunc i64 %".156" to i32
  %".158" = zext i8 10 to i32
  %".159" = and i32 %".158", 31
  %".160" = shl i32 %".157", %".159"
  %".161" = zext i32 %".160" to i64
  %".162" = trunc i64 %".161" to i32
  %".163" = zext i32 %".162" to i64
  %".164" = trunc i64 %".163" to i32
  %".165" = add i32 %".152", %".164"
  %".166" = zext i32 %".165" to i64
  %".167" = trunc i64 %".166" to i32
  %".168" = zext i32 %".167" to i64
  %".169" = trunc i64 %".168" to i32
  %".170" = zext i32 %".169" to i64
  %".171" = trunc i64 %".170" to i32
  %".172" = zext i32 %".171" to i64
  %".173" = trunc i64 %".172" to i32
  %".174" = trunc i64 %".168" to i32
  %".175" = zext i32 %".174" to i64
  %".176" = trunc i64 %".175" to i32
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i32
  %".179" = zext i8 6 to i32
  %".180" = and i32 %".179", 31
  %".181" = lshr i32 %".178", %".180"
  %".182" = zext i32 %".181" to i64
  %".183" = trunc i64 %".182" to i32
  %".184" = zext i32 %".183" to i64
  %".185" = trunc i64 %".184" to i32
  %".186" = xor i32 %".173", %".185"
  %".187" = zext i32 %".186" to i64
  %".188" = trunc i64 %".187" to i32
  %".189" = zext i32 %".188" to i64
  %".190" = trunc i64 %".189" to i32
  %".191" = zext i32 %".190" to i64
  %".192" = trunc i64 %".191" to i32
  %".193" = zext i32 %".192" to i64
  %".194" = trunc i64 %".193" to i32
  %".195" = lshr i64 %"SymVar_0", 24
  %".196" = trunc i64 %".195" to i8
  %".197" = zext i8 %".196" to i32
  %".198" = zext i32 %".197" to i64
  %".199" = trunc i64 %".198" to i8
  %".200" = zext i8 %".199" to i32
  %".201" = zext i32 %".200" to i64
  %".202" = trunc i64 %".201" to i8
  %".203" = zext i8 %".202" to i32
  %".204" = zext i32 %".203" to i64
  %".205" = trunc i64 %".204" to i32
  %".206" = zext i32 %".205" to i64
  %".207" = trunc i64 %".206" to i32
  %".208" = add i32 %".194", %".207"
  %".209" = zext i32 %".208" to i64
  %".210" = trunc i64 %".209" to i32
  %".211" = zext i32 %".210" to i64
  %".212" = trunc i64 %".211" to i32
  %".213" = zext i32 %".212" to i64
  %".214" = trunc i64 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i32
  %".217" = trunc i64 %".211" to i32
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i32
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i32
  %".222" = zext i8 10 to i32
  %".223" = and i32 %".222", 31
  %".224" = shl i32 %".221", %".223"
  %".225" = zext i32 %".224" to i64
  %".226" = trunc i64 %".225" to i32
  %".227" = zext i32 %".226" to i64
  %".228" = trunc i64 %".227" to i32
  %".229" = add i32 %".216", %".228"
  %".230" = zext i32 %".229" to i64
  %".231" = trunc i64 %".230" to i32
  %".232" = zext i32 %".231" to i64
  %".233" = trunc i64 %".232" to i32
  %".234" = zext i32 %".233" to i64
  %".235" = trunc i64 %".234" to i32
  %".236" = zext i32 %".235" to i64
  %".237" = trunc i64 %".236" to i32
  %".238" = trunc i64 %".232" to i32
  %".239" = zext i32 %".238" to i64
  %".240" = trunc i64 %".239" to i32
  %".241" = zext i32 %".240" to i64
  %".242" = trunc i64 %".241" to i32
  %".243" = zext i8 6 to i32
  %".244" = and i32 %".243", 31
  %".245" = lshr i32 %".242", %".244"
  %".246" = zext i32 %".245" to i64
  %".247" = trunc i64 %".246" to i32
  %".248" = zext i32 %".247" to i64
  %".249" = trunc i64 %".248" to i32
  %".250" = xor i32 %".237", %".249"
  %".251" = zext i32 %".250" to i64
  %".252" = trunc i64 %".251" to i32
  %".253" = zext i32 %".252" to i64
  %".254" = trunc i64 %".253" to i32
  %".255" = zext i32 %".254" to i64
  %".256" = trunc i64 %".255" to i32
  %".257" = zext i32 %".256" to i64
  %".258" = trunc i64 %".257" to i32
  %".259" = lshr i64 %"SymVar_0", 32
  %".260" = trunc i64 %".259" to i8
  %".261" = zext i8 %".260" to i32
  %".262" = zext i32 %".261" to i64
  %".263" = trunc i64 %".262" to i8
  %".264" = zext i8 %".263" to i32
  %".265" = zext i32 %".264" to i64
  %".266" = trunc i64 %".265" to i8
  %".267" = zext i8 %".266" to i32
  %".268" = zext i32 %".267" to i64
  %".269" = trunc i64 %".268" to i32
  %".270" = zext i32 %".269" to i64
  %".271" = trunc i64 %".270" to i32
  %".272" = add i32 %".258", %".271"
  %".273" = zext i32 %".272" to i64
  %".274" = trunc i64 %".273" to i32
  %".275" = zext i32 %".274" to i64
  %".276" = trunc i64 %".275" to i32
  %".277" = zext i32 %".276" to i64
  %".278" = trunc i64 %".277" to i32
  %".279" = zext i32 %".278" to i64
  %".280" = trunc i64 %".279" to i32
  %".281" = trunc i64 %".275" to i32
  %".282" = zext i32 %".281" to i64
  %".283" = trunc i64 %".282" to i32
  %".284" = zext i32 %".283" to i64
  %".285" = trunc i64 %".284" to i32
  %".286" = zext i8 10 to i32
  %".287" = and i32 %".286", 31
  %".288" = shl i32 %".285", %".287"
  %".289" = zext i32 %".288" to i64
  %".290" = trunc i64 %".289" to i32
  %".291" = zext i32 %".290" to i64
  %".292" = trunc i64 %".291" to i32
  %".293" = add i32 %".280", %".292"
  %".294" = zext i32 %".293" to i64
  %".295" = trunc i64 %".294" to i32
  %".296" = zext i32 %".295" to i64
  %".297" = trunc i64 %".296" to i32
  %".298" = zext i32 %".297" to i64
  %".299" = trunc i64 %".298" to i32
  %".300" = zext i32 %".299" to i64
  %".301" = trunc i64 %".300" to i32
  %".302" = trunc i64 %".296" to i32
  %".303" = zext i32 %".302" to i64
  %".304" = trunc i64 %".303" to i32
  %".305" = zext i32 %".304" to i64
  %".306" = trunc i64 %".305" to i32
  %".307" = zext i8 6 to i32
  %".308" = and i32 %".307", 31
  %".309" = lshr i32 %".306", %".308"
  %".310" = zext i32 %".309" to i64
  %".311" = trunc i64 %".310" to i32
  %".312" = zext i32 %".311" to i64
  %".313" = trunc i64 %".312" to i32
  %".314" = xor i32 %".301", %".313"
  %".315" = zext i32 %".314" to i64
  %".316" = trunc i64 %".315" to i32
  %".317" = zext i32 %".316" to i64
  %".318" = trunc i64 %".317" to i32
  %".319" = zext i32 %".318" to i64
  %".320" = trunc i64 %".319" to i32
  %".321" = zext i32 %".320" to i64
  %".322" = trunc i64 %".321" to i32
  %".323" = lshr i64 %"SymVar_0", 40
  %".324" = trunc i64 %".323" to i8
  %".325" = zext i8 %".324" to i32
  %".326" = zext i32 %".325" to i64
  %".327" = trunc i64 %".326" to i8
  %".328" = zext i8 %".327" to i32
  %".329" = zext i32 %".328" to i64
  %".330" = trunc i64 %".329" to i8
  %".331" = zext i8 %".330" to i32
  %".332" = zext i32 %".331" to i64
  %".333" = trunc i64 %".332" to i32
  %".334" = zext i32 %".333" to i64
  %".335" = trunc i64 %".334" to i32
  %".336" = add i32 %".322", %".335"
  %".337" = zext i32 %".336" to i64
  %".338" = trunc i64 %".337" to i32
  %".339" = zext i32 %".338" to i64
  %".340" = trunc i64 %".339" to i32
  %".341" = zext i32 %".340" to i64
  %".342" = trunc i64 %".341" to i32
  %".343" = zext i32 %".342" to i64
  %".344" = trunc i64 %".343" to i32
  %".345" = trunc i64 %".339" to i32
  %".346" = zext i32 %".345" to i64
  %".347" = trunc i64 %".346" to i32
  %".348" = zext i32 %".347" to i64
  %".349" = trunc i64 %".348" to i32
  %".350" = zext i8 10 to i32
  %".351" = and i32 %".350", 31
  %".352" = shl i32 %".349", %".351"
  %".353" = zext i32 %".352" to i64
  %".354" = trunc i64 %".353" to i32
  %".355" = zext i32 %".354" to i64
  %".356" = trunc i64 %".355" to i32
  %".357" = add i32 %".344", %".356"
  %".358" = zext i32 %".357" to i64
  %".359" = trunc i64 %".358" to i32
  %".360" = zext i32 %".359" to i64
  %".361" = trunc i64 %".360" to i32
  %".362" = zext i32 %".361" to i64
  %".363" = trunc i64 %".362" to i32
  %".364" = zext i32 %".363" to i64
  %".365" = trunc i64 %".364" to i32
  %".366" = trunc i64 %".360" to i32
  %".367" = zext i32 %".366" to i64
  %".368" = trunc i64 %".367" to i32
  %".369" = zext i32 %".368" to i64
  %".370" = trunc i64 %".369" to i32
  %".371" = zext i8 6 to i32
  %".372" = and i32 %".371", 31
  %".373" = lshr i32 %".370", %".372"
  %".374" = zext i32 %".373" to i64
  %".375" = trunc i64 %".374" to i32
  %".376" = zext i32 %".375" to i64
  %".377" = trunc i64 %".376" to i32
  %".378" = xor i32 %".365", %".377"
  %".379" = zext i32 %".378" to i64
  %".380" = trunc i64 %".379" to i32
  %".381" = zext i32 %".380" to i64
  %".382" = trunc i64 %".381" to i32
  %".383" = zext i32 %".382" to i64
  %".384" = trunc i64 %".383" to i32
  %".385" = zext i32 %".384" to i64
  %".386" = trunc i64 %".385" to i32
  %".387" = lshr i64 %"SymVar_0", 48
  %".388" = trunc i64 %".387" to i8
  %".389" = zext i8 %".388" to i32
  %".390" = zext i32 %".389" to i64
  %".391" = trunc i64 %".390" to i8
  %".392" = zext i8 %".391" to i32
  %".393" = zext i32 %".392" to i64
  %".394" = trunc i64 %".393" to i8
  %".395" = zext i8 %".394" to i32
  %".396" = zext i32 %".395" to i64
  %".397" = trunc i64 %".396" to i32
  %".398" = zext i32 %".397" to i64
  %".399" = trunc i64 %".398" to i32
  %".400" = add i32 %".386", %".399"
  %".401" = zext i32 %".400" to i64
  %".402" = trunc i64 %".401" to i32
  %".403" = zext i32 %".402" to i64
  %".404" = trunc i64 %".403" to i32
  %".405" = zext i32 %".404" to i64
  %".406" = trunc i64 %".405" to i32
  %".407" = zext i32 %".406" to i64
  %".408" = trunc i64 %".407" to i32
  %".409" = trunc i64 %".403" to i32
  %".410" = zext i32 %".409" to i64
  %".411" = trunc i64 %".410" to i32
  %".412" = zext i32 %".411" to i64
  %".413" = trunc i64 %".412" to i32
  %".414" = zext i8 10 to i32
  %".415" = and i32 %".414", 31
  %".416" = shl i32 %".413", %".415"
  %".417" = zext i32 %".416" to i64
  %".418" = trunc i64 %".417" to i32
  %".419" = zext i32 %".418" to i64
  %".420" = trunc i64 %".419" to i32
  %".421" = add i32 %".408", %".420"
  %".422" = zext i32 %".421" to i64
  %".423" = trunc i64 %".422" to i32
  %".424" = zext i32 %".423" to i64
  %".425" = trunc i64 %".424" to i32
  %".426" = zext i32 %".425" to i64
  %".427" = trunc i64 %".426" to i32
  %".428" = zext i32 %".427" to i64
  %".429" = trunc i64 %".428" to i32
  %".430" = trunc i64 %".424" to i32
  %".431" = zext i32 %".430" to i64
  %".432" = trunc i64 %".431" to i32
  %".433" = zext i32 %".432" to i64
  %".434" = trunc i64 %".433" to i32
  %".435" = zext i8 6 to i32
  %".436" = and i32 %".435", 31
  %".437" = lshr i32 %".434", %".436"
  %".438" = zext i32 %".437" to i64
  %".439" = trunc i64 %".438" to i32
  %".440" = zext i32 %".439" to i64
  %".441" = trunc i64 %".440" to i32
  %".442" = xor i32 %".429", %".441"
  %".443" = zext i32 %".442" to i64
  %".444" = trunc i64 %".443" to i32
  %".445" = zext i32 %".444" to i64
  %".446" = trunc i64 %".445" to i32
  %".447" = zext i32 %".446" to i64
  %".448" = trunc i64 %".447" to i32
  %".449" = zext i32 %".448" to i64
  %".450" = trunc i64 %".449" to i32
  %".451" = lshr i64 %"SymVar_0", 56
  %".452" = trunc i64 %".451" to i8
  %".453" = zext i8 %".452" to i32
  %".454" = zext i32 %".453" to i64
  %".455" = trunc i64 %".454" to i8
  %".456" = zext i8 %".455" to i32
  %".457" = zext i32 %".456" to i64
  %".458" = trunc i64 %".457" to i8
  %".459" = zext i8 %".458" to i32
  %".460" = zext i32 %".459" to i64
  %".461" = trunc i64 %".460" to i32
  %".462" = zext i32 %".461" to i64
  %".463" = trunc i64 %".462" to i32
  %".464" = add i32 %".450", %".463"
  %".465" = zext i32 %".464" to i64
  %".466" = trunc i64 %".465" to i32
  %".467" = zext i32 %".466" to i64
  %".468" = trunc i64 %".467" to i32
  %".469" = zext i32 %".468" to i64
  %".470" = trunc i64 %".469" to i32
  %".471" = zext i32 %".470" to i64
  %".472" = trunc i64 %".471" to i32
  %".473" = trunc i64 %".467" to i32
  %".474" = zext i32 %".473" to i64
  %".475" = trunc i64 %".474" to i32
  %".476" = zext i32 %".475" to i64
  %".477" = trunc i64 %".476" to i32
  %".478" = zext i8 10 to i32
  %".479" = and i32 %".478", 31
  %".480" = shl i32 %".477", %".479"
  %".481" = zext i32 %".480" to i64
  %".482" = trunc i64 %".481" to i32
  %".483" = zext i32 %".482" to i64
  %".484" = trunc i64 %".483" to i32
  %".485" = add i32 %".472", %".484"
  %".486" = zext i32 %".485" to i64
  %".487" = trunc i64 %".486" to i32
  %".488" = zext i32 %".487" to i64
  %".489" = trunc i64 %".488" to i32
  %".490" = zext i32 %".489" to i64
  %".491" = trunc i64 %".490" to i32
  %".492" = zext i32 %".491" to i64
  %".493" = trunc i64 %".492" to i32
  %".494" = trunc i64 %".488" to i32
  %".495" = zext i32 %".494" to i64
  %".496" = trunc i64 %".495" to i32
  %".497" = zext i32 %".496" to i64
  %".498" = trunc i64 %".497" to i32
  %".499" = zext i8 6 to i32
  %".500" = and i32 %".499", 31
  %".501" = lshr i32 %".498", %".500"
  %".502" = zext i32 %".501" to i64
  %".503" = trunc i64 %".502" to i32
  %".504" = zext i32 %".503" to i64
  %".505" = trunc i64 %".504" to i32
  %".506" = xor i32 %".493", %".505"
  %".507" = zext i32 %".506" to i64
  %".508" = trunc i64 %".507" to i32
  %".509" = zext i32 %".508" to i64
  %".510" = trunc i64 %".509" to i32
  %".511" = zext i32 %".510" to i64
  %".512" = trunc i64 %".511" to i32
  %".513" = zext i32 %".512" to i64
  %".514" = trunc i64 %".513" to i32
  %".515" = trunc i64 %".509" to i32
  %".516" = zext i32 %".515" to i64
  %".517" = trunc i64 %".516" to i32
  %".518" = zext i32 %".517" to i64
  %".519" = trunc i64 %".518" to i32
  %".520" = zext i8 3 to i32
  %".521" = and i32 %".520", 31
  %".522" = shl i32 %".519", %".521"
  %".523" = zext i32 %".522" to i64
  %".524" = trunc i64 %".523" to i32
  %".525" = zext i32 %".524" to i64
  %".526" = trunc i64 %".525" to i32
  %".527" = add i32 %".514", %".526"
  %".528" = zext i32 %".527" to i64
  %".529" = trunc i64 %".528" to i32
  %".530" = zext i32 %".529" to i64
  %".531" = trunc i64 %".530" to i32
  %".532" = zext i32 %".531" to i64
  %".533" = trunc i64 %".532" to i32
  %".534" = zext i32 %".533" to i64
  %".535" = trunc i64 %".534" to i32
  %".536" = trunc i64 %".530" to i32
  %".537" = zext i32 %".536" to i64
  %".538" = trunc i64 %".537" to i32
  %".539" = zext i32 %".538" to i64
  %".540" = trunc i64 %".539" to i32
  %".541" = zext i8 11 to i32
  %".542" = and i32 %".541", 31
  %".543" = lshr i32 %".540", %".542"
  %".544" = zext i32 %".543" to i64
  %".545" = trunc i64 %".544" to i32
  %".546" = zext i32 %".545" to i64
  %".547" = trunc i64 %".546" to i32
  %".548" = xor i32 %".535", %".547"
  %".549" = zext i32 %".548" to i64
  %".550" = trunc i64 %".549" to i32
  %".551" = zext i32 %".550" to i64
  %".552" = trunc i64 %".551" to i32
  %".553" = zext i32 %".552" to i64
  %".554" = trunc i64 %".553" to i32
  %".555" = zext i32 %".554" to i64
  %".556" = trunc i64 %".555" to i32
  %".557" = trunc i64 %".551" to i32
  %".558" = zext i32 %".557" to i64
  %".559" = trunc i64 %".558" to i32
  %".560" = zext i32 %".559" to i64
  %".561" = trunc i64 %".560" to i32
  %".562" = zext i8 15 to i32
  %".563" = and i32 %".562", 31
  %".564" = shl i32 %".561", %".563"
  %".565" = zext i32 %".564" to i64
  %".566" = trunc i64 %".565" to i32
  %".567" = zext i32 %".566" to i64
  %".568" = trunc i64 %".567" to i32
  %".569" = add i32 %".556", %".568"
  %".570" = zext i32 %".569" to i64
  %".571" = trunc i64 %".570" to i32
  %".572" = zext i32 %".571" to i64
  %".573" = trunc i64 %".572" to i32
  %".574" = zext i32 %".573" to i64
  %".575" = trunc i64 %".574" to i32
  %".576" = zext i32 %".575" to i64
  %".577" = trunc i64 %".576" to i32
  %".578" = zext i32 %".577" to i64
  %".579" = trunc i64 %".578" to i32
  %".580" = zext i32 %".579" to i64
  %".581" = trunc i64 %".580" to i32
  %".582" = zext i32 %".581" to i64
  ret i64 %".582"
}
